Microsoft ajoute à son service GitHub l'agent de codage IA d'Anthropic